REF, NoConds
\\[0ex]D \$a $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$D (\$a)$\cdot$